Invited Response to Computer Journal Lecture by Prof. Jane Hillston
نویسندگان
چکیده
The introduction of stochastic process algebra (SPA) has had a profound impact on the field of performance modelling. Hillston’s PEPA has been at the forefront of this development [1]. There are a number of reasons why the use of stochastic process algebra is attractive to the stochastic modeller. The parsimonious set of operators creates an almost programming-like simplicity to model specification, meaning complex behaviours can be modelled in a concise and relatively understandable way. The models, although complex, can be analysed to show that they are deadlock free and that intended behaviours are reachable in its evolution (unlike simulation). The formal underpinning of the algebra means that models can be derived from other formal (or semi-formal) specifications in an automatic or semi-automatic way. This formality also means that the process algebra model can itself be manipulated into provably equivalent alternative forms that are more readily solved by numerical analysis. In the case of PEPA, the specification and analysis is also supported by a powerful set of modelling tools [2, 3, 4, 5, 6].
منابع مشابه
Quantitative Analysis of Collective Adaptive Systems
Citation for published version: Hillston, J 2016, Quantitative Analysis of Collective Adaptive Systems. in Perspectives of System Informatics: 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers. Lecture Notes in Computer Science, vol. 9609, Springer International Publishing, pp. 1...
متن کاملAbstract Interpretation of PEPA Models
Interpretation of PEPA Models Citation for published version: Gilmore, S, Hillston, J & Zon, N 2015, Abstract Interpretation of PEPA Models. in CW Probst, C Hankin & RR Hansen (eds), Semantics, Logics, and Calculi: Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays. Lecture Notes in Computer Science, vol. 9560, Springer International Publishing, ...
متن کاملExplorer Abstract Interpretation of PEPA Models
Interpretation of PEPA Models Citation for published version: Gilmore, S, Hillston, J & Zon, N 2015, Abstract Interpretation of PEPA Models. in CW Probst, C Hankin & RR Hansen (eds), Semantics, Logics, and Calculi: Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays. Lecture Notes in Computer Science, vol. 9560, Springer International Publishing, ...
متن کاملInterpretation of PEPA Models
Interpretation of PEPA Models Citation for published version: Gilmore, S, Hillston, J & Zon, N 2015, Abstract Interpretation of PEPA Models. in CW Probst, C Hankin & RR Hansen (eds), Semantics, Logics, and Calculi: Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays. Lecture Notes in Computer Science, vol. 9560, Springer International Publishing, ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Comput. J.
دوره 55 شماره
صفحات -
تاریخ انتشار 2012